Section: New Software and Platforms

ELPI

Embeddable Lambda Prolog Interpreter

Keywords: Constraint Programming - Programming language - Higher-order logic

Functional Description: ELPI is a lambdaProlog interpreter written in OCaml, easy to embed in software written in the same language.

• Contact: Enrico Tassi